00100 A12←MAT((1,0,0),(0,-1,0),(0,0,-1)); 00200 A34←MAT((-1,0,0),(0,-1,0),(0,0,1)); 00300 A23←MAT((-1/2,1,1),(1/2,0,1),(1/4,1/2,-1/2)); 00400 00500 B12←MAT((1,0,0),(0,1,0),(0,0,-1)); 00600 B34←MAT((1,0,0),(0,-1,0),(0,0,1)); 00700 B23←MAT((0,1,1),(1/2,1/2,-1/2),(1/2,-1/2,1/2)); 00800 00900 C12←MAT((1,0),(0,-1)); 01000 C34←MAT((1,0),(0,-1)); 01100 C23←MAT((-1/2,1),(3/4,1/2)); 01200 01300 END;